1

Immutability specification and its applications

Year:
2005
Language:
english
File:
PDF, 299 KB
english, 2005
7

Dynamic optimistic interprocedural analysis

Year:
2001
Language:
english
File:
PDF, 1.70 MB
english, 2001